#include <stdio.h>

int main() {

    // Print "789" to the console
    printf("789");

    return 0;
}